Jean-Louis Colaço
EMSOFT 2023: 23rd International Conference on Embedded Software
A Constructive State-based Semantics and Interpreter for a Synchronous Data-flow Language with State machines
EMSOFT 2017: 17th International Conference on Embedded Software
A Synchronous Look at the Simulink Standard Library
EMSOFT 2006: 6th ACM & IEEE International Conference on Embedded Software
Mixing Signals and Modes in Synchronous Data-Flow Systems
EMSOFT 2005: 5th ACM International Conference on Embedded Software
A Conservative Extension of Synchronous Data-flow with State Machines
EMSOFT 2004: 4th ACM International Conference on Embedded Software
Towards a Higher-Order Synchronous Data-Flow Language
EMSOFT 2003: 3rd International Conference on Embedded Software
Clocks as First Class Abstract Types